- 邏輯語言
- logic: n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
- language: n. 1.語言；(某民族，某國的)國語；語調，措詞。 2 ...
- logic and language: 邏輯和語言; 邏輯與語言
- logic of language: 語言邏輯
- ldl logic description language: 邏輯描述語言
下載手機詞典可隨時隨地查詞查翻譯
logic language中文什么意思
- 邏輯語言
下載手機詞典可隨時隨地查詞查翻譯
例句與用法
- 更多例句： 下一頁
- Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
首先,在論文中用一階邏輯語言建立可信平臺模塊api的形式化模型,然后對建立的形式化模型進行邏輯推理分析。 - The establishment of limited subject has not only solved a series of problems brought out by the " body " of subject , but also found a reasonable form of existence for the subject on the stratum of logic language
界限主體的確立，既解決了主體的“體”帶來的一系列問題，同時又為主體在邏輯語言的層面上找到了一種合理的存在形式。 - In this paper , three kinds of logic languages used in analyzing cryptographic protocols are primarily introduced , and studied in their advantages and weakness . combing the advantages , a new formal logic language is put forward to analyze electronic commerce protocols
在本文中，作者主要介紹了用于分析密碼協議的三種邏輯語言，研究了它們的優缺點，然后結合其優點，提出了一種新的用于分析電子商務協議的形式化邏輯語言。 - ( 2 ) in order to validate the efficiency of algorithm , this paper design and implement a testing , platform rule processor based on sql server . the main function of the processor is to translate the first order logic rule into embedded - sql programs , which make sql server dbms possess the capability in expressing recursive query with logic language
( 2 )為驗證算法的有效性，該文設計實現了一個測試平臺? ?基于sqlserver的規則處理器，其主要功能為自動把一階邏輯規則轉換為含有sql語句的過程代碼，這使得sqlserver數據庫管理系統有了用邏輯數據語言表示遞歸查詢的能力。 - Next , it indicates that mathematical language is an important instrument for developing the mathematical communication activity , and based on the predecessors " achievements , reclassifies the mathematical language : character language , symbol language , figure language , chart language and logic language
接著指出數學語言是進行數學交流活動的重要工具，參考前人的成果，對數學語言重新進行分類，可分為：文字語言，符號語言，圖形語言，圖表語言，邏輯語言。